Feedback in Synchronous Relational Interfaces
نویسندگان
چکیده
Synchronous relational interfaces is an interface theory which allows to specify the I/O interface of a component with input requirements and relational input-output guarantees. The theory allows to check interface compatibility during composition and to compute a composite interface from the atomic ones. It provides a refinement operator which allows to check whether a component can safely replace another one. This paper discusses the options and challenges in defining feedback composition in the context of this theory.
منابع مشابه
Robust Control of Encoderless Synchronous Reluctance Motor Drives Based on Adaptive Backstepping and Input-Output Feedback Linearization Techniques
In this paper, the design and implementation of adaptive speed controller for a sensorless synchronous reluctance motor (SynRM) drive system is proposed. A combination of well-known adaptive input-output feedback linearization (AIOFL) and adaptive backstepping (ABS) techniques are used for speed tracking control of SynRM. The AIOFL controller is capable of estimating motor two-axis inductances ...
متن کاملInvestigating the role of combined acoustic-visual feedback in one-dimensional synchronous brain computer interfaces, a preliminary study
Feedback plays an important role when learning to use a brain computer interface (BCI), particularly in the case of synchronous feedback that relies on the interaction subject. In this preliminary study, we investigate the role of combined auditory-visual feedback during synchronous μ rhythm-based BCI sessions to help the subject to remain focused on the selected imaginary task. This new combin...
متن کاملنقش پیش بینی کنندگی باورهای غیرمنطقی ارتباطی و مؤلفه های عشق بر دلزدگی زناشویی زنان
This research was aimed finding the predictive role of irrational communicative beliefs and love components with marital disenchantment among women referring to counseling centers in Shiraz, Iran. Statistical population of this study consisted of all women who referred to these centers due to marital disenchantment and the sample comprised 203 women, who were selected by random sampling method...
متن کاملA Novel Approach to Trace Time-Domain Trajectories of Power Systems in Multiple Time Scales Based Flatness
This paper works on the concept of flatness and its practical application for the design of an optimal transient controller in a synchronous machine. The feedback linearization scheme of interest requires the generation of a flat output from which the feedback control law can easily be designed. Thus the computation of the flat output for reduced order model of the synchronous machine with simp...
متن کاملImproving the performance of wind turbine equipped with DFIG using STATCOM based on input-output feedback linearization controller
Using the FACTS controllers, such as static synchronous compensator (STATCOM), as it provides continuous reactive power, in the grid including wind turbine (WT) equipped with doubly fed induction generator, for improving voltage profile (under normal circumstances) and providing a transition ability from inductor generator transition state has been proposed. In this paper, in order to contr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014